Trail of Bits to Audit the Security of Aleph Zero’s Platform